Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
781	35 An Introduction to Programming with Threads by Andrew D. Birrell Add to Reading List Source URL: cgi.cse.unsw.edu.au Language: English - Date: 2003-04-05 18:40:06 Software engineering Thread Lock Critical section Monitor Mutual exclusion Synchronization Parallel computing Global variable Concurrency control Computing Computer programming
782	ClockWatch Sentry QuickStart This QuickStart Guide offers a summary of how to set up and use the Clock Locking feature. The complete user manual is available at: http://www.beaglesoft.com/Manual/CWSentryDoc.pdf Software Add to Reading List Source URL: www.beaglesoft.com Language: English - Date: 2004-05-12 17:33:10 Clock Sentry Concurrency control Lock Password
783	A Study of the Behavior of Synchronization Methods in Commonly Used Languages and Systems Daniel Cederman, Bapi Chatterjee, Nhan Nguyen, Yiannis Nikolakopoulos, Marina Papatriantafilou and Philippas Tsigas Computer Scien Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-08 09:38:14 Software engineering Non-blocking algorithm Lock Monitor Thread Software transactional memory Compare-and-swap Parallel computing Scheduling Concurrency control Computing Concurrent computing
784	Microsoft Word - Document1 Add to Reading List Source URL: www.beaglesoft.com Language: English - Date: 2006-08-03 11:14:28 Lock Sentry Microsoft Windows Time clock Measurement Time Clocks Horology Concurrency control
785	Get it done. One event at a time. How I learned to stop worrying and love EventMachine. Table of Contents Add to Reading List Source URL: everburning.com Language: English - Date: 2013-11-09 23:28:11 Concurrent computing Threads Software design patterns Reactor pattern Concurrency control Thread Green threads Ruby EM Computing Computer programming Software engineering
786	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
787	Reasoning about the Implementation of Concurrency Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature o Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-04-02 06:48:59 Software engineering Concurrency control Compiler construction Concurrency Programming language design Spinlock Memory barrier X86 Parallel computing Computing Computer architecture Computer memory
788	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:04 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
789	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability
790	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:18 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management

UPDATE